561. 15, 2010, Revised Selected Papers-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-Principles and Practice of Multi
Author: / Wayne Wobcke, Nirmit Desai, Frank Dignum, Aditya Ghose, Srinivas Padmanabhuni (auth.), Nirmit Desai, Alan Liu, Michael Winikoff (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
562. 15, 2010, Revised Selected Papers-Based Internet. ServiceWave 2010 Workshops: International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-Towards a Service
Author: / Dana Petcu, Ciprian Crciun, Marian Neagul, Silviu Panica, Beniamino Di Martino (auth.), Michel Cezon, Yaron Wolfsthal (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
563. 12, 2009 Revised Selected Papers-Based Simulation X: International Workshop, MABS 2009, Budapest, Hungary, May 11-Agent-Multi
Author: / Scott Heckbert, Wiktor Adamowicz, Peter Boxall, Daniel Hanneman (auth.), Gennaro Di Tosto, H. Van Dyke Parunak (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
564. 4, 2010, Revised Selected Papers-Database Systems for Advanced Applications: 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1
Author: / Sherif Sakr, Wei Wang (auth.), Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
565. 5, 2009, Revised Selected Papers-FM 2009, Bologna, Italy, September 4-Web Services and Formal Methods: 6th International Workshop, WS
Author: / Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)بCiancaglini, Ugo de-Mariangiola Dezani
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
566. 10, 2010, Revised Selected Papers-Fast Software Encryption: 17th International Workshop, FSE 2010, Seoul, Korea, February 7
Author: / Philipp Weinmann (auth.), Seokhie Hong, Tetsu Iwata (eds.)-Karsten Nohl, Erik Tews, Ralf
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
567. 2, 2011, Revised Selected Papers-Ferrand, France, September 1-FM 2011, Clermont-Web Services and Formal Methods: 8th International Workshop, WS
Author: / Marc Petit (eds.)-Kohei Honda (auth.), Marco Carbone, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
568. 11, 2010, Revised Selected Papers-Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8
Author: / Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
569. 26, 2008, Revised Selected Papers-Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24
Author: / Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
570. 13, 2011, Revised Selected Papers-France MITACS Workshop, FPS 2011, Paris, France, May 12-Foundations and Practice of Security: 4th Canada
Author: / Alfaro, Pascal Lafourcade (eds.)-Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi (auth.), Joaquin Garcia
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
571. 13, 2011. Revised Selected Papers-Grid and Pervasive Computing Workshops: International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11
Author: / Frayling, Jukka Riekki (eds.)-, Natasa MilicعkkilعVagan Terziyan (auth.), Mika Rautiainen, Timo Korhonen, Edward Mutafungwa, Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki Ailisto, Aaron Quigley, Jonna H
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
572. 7, 2010. Revised Selected Papers-Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4
Author: / o (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)غo LourenعJo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
573. 22, 2009, Revised Selected Papers-Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19
Author: / David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
574. 17, 2009, Revised Selected Papers-High Performance Computing Systems and Applications: 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14
Author: / Dustin Bespalko, Andrew Pollard, Mesbah Uddin (auth.), Douglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, Thomas J. Naughton (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
575. 12, 2009, Revised Selected Papers-High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10
Author: / s (auth.), Wu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong (eds.)فAna Cort
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
576. 3, 2010, Revised Selected Papers- ICISC 2010: 13th International Conference, Seoul, Korea, December 1-Information Security and Cryptology
Author: / Hyune Rhee, DaeHun Nyang (eds.)-Alexandre Venelli (auth.), Kyung
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
577. 4, 2009, Revised Selected Papers- ICISC 2009: 12th International Conference, Seoul, Korea, December 2ع۰بInformation, Security and Cryptology
Author: / lez Nieto, Mark Manulis (auth.), Donghoon Lee, Seokhie Hong (eds.)عM. Choudary Gorantla, Colin Boyd, Juan Manuel Gonz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
578. 15, 2010. Revised Selected Papers-ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12
Author: / a Jonoska, Nadrian C. Seeman (auth.), Marjan Gusev, Pece Mitrevski (eds.)جNata
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
579. 26, 2010, Revised Selected Papers-Information Security Applications: 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24
Author: / Sumit Kumar Pandey, Rana Barua (auth.), Yongwha Chung, Moti Yung (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
580. 6, 2009. Revised Selected Papers-Information Theoretic Security: 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3
Author: / l Alwen, Yevgeniy Dodis, Daniel Wichs (auth.), Kaoru Kurosawa (eds.)قJo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
